621. Trends and Applications in Software Engineering
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses,Software engineering,نرمافزار -- مهندسی -- کنگره‌ها,نرمافزار -- مهندسی
رده :
E-Book
,
622. Trends and applications in software engineering :
المؤلف: Jezreel Mejia [and 4 others], editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Software engineering, Congresses.,Artificial intelligence.,COMPUTERS-- Programming-- General.,Software engineering.,Sports & outdoor recreation.
رده :
QA76
.
758
.
I58
7th
2018eb
623. Trends and applications in software engineering :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Software engineering ; Congresses. ;
624. Trends in software testing
المؤلف: \ Hrushikesha Mohanty J.R. Mohanty Arunkumar Balakrishnan, Editors
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses,نرمافزار -- مهندسی-- کنگره‌ها
رده :
E-book
,
625. Ubiquitous mobile information and collaboration systems : Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, revised selected papers
المؤلف: Luciano Baresi...]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer-aided software engineering,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
3272
626. Unifying theories of programming :
المؤلف: Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming -- Congresses.,computerkunde.,software engineering.
رده :
QA76
.
6
B875
2013
627. Verification, Model Checking, and Abstract Interpretation.
المؤلف: \ Barbara Jobstmann , K. Rustan M. Leino (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification.,نرمافزار -- راستی‌آزمایی -- کنگره ها,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی
رده :
.
V4
2016
E-Book
,
628. Verification, Model Checking, and Abstract Interpretation
المؤلف: \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستی‌آزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
76
.
V47
2015
E-Book
,
629. WISER 2004 : ACM Workshop on Interdisciplinary Software Engineering Research : co-located with SIGSOFT 2004/FSE-12; November 5, 2004, Newport Beach, California, USA
المؤلف: sponsored by SIGSOFT
المکتبة: (طهران)
موضوع: Congresses ، Software engineering
رده :
QA
76
.
758
.
A284
2004
630. Web Information Systems Engineering – WISE 2015
المؤلف: \ edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses.,Computer science.,Computer networks.,نرمافزار -- مهندسی -- کنگره‌ها ,علوم کامپیوتر,شبکه‌های رایانه ای
رده :
QA76
.
758
.
W41
2015
E-Book
,
631. Web engineering :
المؤلف: Maxim Bakaev, Flavius Frasincar, In-Young Ko (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Software engineering, Congresses.,Web services, Congresses.,World Wide Web, Congresses.,Software engineering.,Web services.,World Wide Web.
رده :
TK5105
.
888
632. Web engineering
المؤلف: Marco Brambilla, Takehiro Tokuda, Robert Tolksdorf (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Software engineering, Congresses,Web services, Congresses,World Wide Web, Congresses
رده :
TK5105
.
888
.
I28
2012eb
633. Web information systems engineering -- WISE 2018 :
المؤلف: Hakim Hacid, Wojciech Cellary, Hua Wang, Hye-Young Paik, Rui Zhou (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Information storage and retrieval systems, Congresses.,Software engineering, Congresses.,Web services, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Expert systems-- knowledge-based systems.,Information retrieval.,Information storage and retrieval systems.,Software engineering.,Web services.
رده :
TK5105
.
88813
634. agent systems V-Software engineering for multi
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
635. based software engineering-Component
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Software engineering ; Congresses. ; Component software ; Congresses. ;
636. based software engineering-Component
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
637. based software engineering :-Knowledge
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Software engineering ; Congresses. ;
638. based software engineering :-Search
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Software engineering ; Congresses. ;
639. focused software process improvement :-Product
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Software engineering ; Congresses. ;
